Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤

Source URL: www.cs.utexas.edu

• Operations research
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Simplex algorithm
• Linear programming
• Simplex
• First-order logic

ProbLog2: Probabilistic logic programming Anton Dries, Angelika Kimmig, Wannes Meert, Joris Renkens, Guy Van den Broeck, Jonas Vlasselaer, and Luc De Raedt KU Leuven, Belgium, {firstname.lastname}@cs.kuleuven.be, https:/

Source URL: people.cs.kuleuven.be

Under consideration for publication in Theory and Practice of Logic Programming 1 Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory

Source URL: lirias.kuleuven.be

Artificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence Henning Christiansen Roskilde University, Computer Science Section c 2006

Source URL: akira.ruc.dk

Tactics for Separation Logic early draft Andrew W. Appel INRIA Rocquencourt & Princeton University January 13, 2006

Source URL: www.cs.princeton.edu

• Philosophical logic
• Non-classical logic
• Logic in computer science
• Automated theorem proving
• Logic programming
• Hoare logic
• Separation logic
• Substitution
• Modal logic
• Quantifier
• FO
• Constructible universe

Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

Source URL: www.cs.yale.edu

• Logic in computer science
• Symposium on Principles of Programming Languages
• International Semantic Web Conference
• Separation logic
• Automated reasoning
• Computer Aided Verification
• Abstract interpretation
• Vasant Honavar
• Vienna Summer of Logic

Lecture Notes on Deductive Inference Course on Linear Logic Oregon Programming Languages Summer School 2013 Frank Pfenning Lecture 1

Source URL: www.cs.uoregon.edu

Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik,

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Model theory
• Stable model semantics
• Natural deduction
• Pi system

Under consideration for publication in Theory and Practice of Logic Programming 1 CHR(PRISM)-based Probabilistic Logic Learning JON SNEYERS, WANNES MEERT, JOOST VENNEKENS

Source URL: people.cs.kuleuven.be